Podium Session 2: Functional Urology and Reconstruction

Functional urology

Podium for the opposition?

This is quite a paradoxical era. Scientific research is in its most productive phase and it continues to produce many beneficial technologies for mankind. For example, we rapidly progress towards a better understanding of many diseases and come up with multiple new approaches to cure them. At the same time, however, the voices against science and technology have never been more shrill. But unsu...

Lightweight Functional Session Types

Row types provide an account of extensibility that combines well with parametric polymorphism and type inference. We discuss the integration of row types and session types in a concurrent functional programming language, and how row types can be used to describe extensibility in session-typed communication.

Asynchronous Functional Session Types

Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified by static type checking. Applications include network protocols, business processes, and operating system services. In this paper we define a multithreaded functional language with session types, which unifies, simplifi...

Session 2